Operational semantics: Concepts and their expression
نویسنده
چکیده
منابع مشابه
A New Interpretation of the Semantics of "Moral Obligation" from Allame Tabatabaie's Viewpoint
The most important part in analyzing moral concepts includes those used as predicate in moral sentences covering moral concepts of valuation and obligation. Moral concepts in the field of values include those like “good” and “bad” while obligatory concepts include “ought to” and “ought no” and “duty”. Many papers have been written about “moral obligation”; however, dissociating the area of sema...
متن کاملGraphical Operational Semantics
We combine the methodology of Plotkin-style operational semantics with graph transformation concepts in order to specify the operational semantics of diagram languages.
متن کاملFrom Operational Semantics to Domain Theory
This paper builds domain theoretic concepts upon an operational foundation. The basic operational theory consists of a single step reduction system from which an operational ordering and equivalence on programs are deened. The theory is then extended to include concepts from domain theory, including the notions of directed set, least upper bound, complete partial order, monotonicity, continuity...
متن کاملProvenance Traces
Provenance is information about the origin, derivation, ownership, or history of an object. It has recently been studied extensively in scientific databases and other settings due to its importance in helping scientists judge data validity, quality and integrity. However, most models of provenance have been stated as ad hoc definitions motivated by informal concepts such as “comes from”, “influ...
متن کاملA Verification Approach from MDE Applied to Model Based Systems Engineering: xeFFBD Dynamic Semantics
syntaxes of DSMLs partially define language semantics through their underlying structure and the vocabulary naming concepts and relationships. Unfortunately, such semantics may sometimes be ambiguous, since different engineers may have different understanding of a single model. Therefore, in order to have equal and non-ambiguous understanding, it is essential to define in a precise and non-ambi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Inf. Process. Lett.
دوره 88 شماره
صفحات -
تاریخ انتشار 2003